Making Automated Building Code Checking A Reality
نویسندگان
چکیده
Currently, design and construction documents submitted to the governing body for permitting are checked manually against a continuously changing and increasingly complex set of building codes. The complexity and changing nature of codes leads to delays in both the design and construction processes. The designer must assess which codes are applicable to a given project as well as sort through potential ambiguity in the code provisions. An inspector must go through a similar process. In addition, inconsistencies in interpretation of a given section of the code may differ from inspector to inspector. The design checking and approval process can be a critical activity that prolongs the construction and delays the operation of a facility. Automating this process has the potential to alleviate both the delays and inconsistencies associated with manual checking by giving the designer and the permit-issuing body a consistent framework in which to apply and check codes.
منابع مشابه
A Hybrid Model for Building Code Representation Based on Four-Level and Semantic Modeling Approaches
This paper presents a study in the field of automated compliance checking, concentrating on building code representations. A new model for representing building codes in computable form is developed for use in building automated compliance checking systems. The model adopts Nyman and Fenves’s four-level representation paradigm as a theoretical base and uses the semantic modeling approach of the...
متن کاملThesis Proposal: Practical Automated Theorem Proving with the Polarized Inverse Method
Formal, mechanically checked reasoning as envisioned by Leibniz has in the past few decades become a reality. Proof assistants are programs that can rigorously and mechanically check the details of logical arguments. Formal reasoning supported by proof assistants has applications to nearly all areas of computer science, from formal including specifying and verifying critical properties of hardw...
متن کاملIntegrating BIM and Safety: An Automated Rule-Based Checking System for Safety Planning and Simulation
Safety planning in the construction industry is generally done separately from the project execution planning. This separation creates difficulties for safety engineers to analyze what, when, why and where safety measures are needed for preventing accidents. Lack of information and integration of available data (safety plan, project schedule, 2D project drawings) during the planning stage often...
متن کاملTool support for the rapid composition, analysis and implementation of reactive services
Please cite this article in press as: Kraemer, F.A Software (2009), doi:10.1016/j.jss.2009.06.057 We present the integrated set of tools Arctis for the rapid development of reactive services. In our method, services are composed of collaborative building blocks that encapsulate behavioral patterns expressed as UML 2.0 collaborations and activities. Due to our underlying semantics in temporal lo...
متن کاملAutomated Regulatory Information Extraction from Building Codes Leveraging Syntactic and Semantic Information
Manual regulatory compliance checking of construction projects is usually timeconsuming and error-prone. There have been efforts both in academia and industry to automate this process. However, none of them achieved full automation. Specifically, the extraction of rules from regulatory text (e.g. building code) and its representation in a computer-processable format is still conducted manually ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997